#include <asm/hvm/support.h>
#include <asm/msr.h>
#include <asm/nmi.h>
+#include <asm/iommu.h>
#ifdef CONFIG_COMPAT
#include <compat/vcpu.h>
#endif
virt_to_page(d->shared_info), d, XENSHARE_writable);
}
+ if ( (rc = iommu_domain_init(d)) != 0 )
+ goto fail;
+
if ( is_hvm_domain(d) )
{
if ( (rc = hvm_domain_initialise(d)) != 0 )
+ {
+ iommu_domain_destroy(d);
goto fail;
+ }
}
else
{
if ( is_hvm_domain(d) )
hvm_domain_destroy(d);
+ iommu_domain_destroy(d);
+
paging_final_teardown(d);
free_xenheap_pages(
#include <public/hvm/ioreq.h>
#include <public/version.h>
#include <public/memory.h>
-#include <asm/iommu.h>
int hvm_enabled __read_mostly;
if ( rc != 0 )
return rc;
- rc = iommu_domain_init(d);
- if ( rc != 0 )
- return rc;
-
vpic_init(d);
vioapic_init(d);
hvm_init_ioreq_page(d, &d->arch.hvm_domain.ioreq);
hvm_init_ioreq_page(d, &d->arch.hvm_domain.buf_ioreq);
- rc = hvm_funcs.domain_initialise(d);
- if ( rc != 0 )
- release_devices(d);
-
- return rc;
+ return hvm_funcs.domain_initialise(d);
}
void hvm_domain_relinquish_resources(struct domain *d)
void hvm_domain_destroy(struct domain *d)
{
- release_devices(d);
hvm_funcs.domain_destroy(d);
}
gdprintk(XENLOG_ERR VTDPREFIX,
"IOMMU: hardware doesn't support the agaw\n");
agaw = find_next_bit(&sagaw, 5, agaw);
- if (agaw >= 5)
+ if ( agaw >= 5 )
return -ENODEV;
}
hd->agaw = agaw;
}
}
-int release_devices(struct domain *d)
+void iommu_domain_destroy(struct domain *d)
{
struct hvm_domain *hd = &d->arch.hvm_domain;
uint32_t i;
- int ret = 0;
if ( !vtd_enabled )
- return ret;
+ return;
for ( i = 0; i < NR_IRQS; i++ )
if ( hd->irq.mirq[i].valid )
- ret = pirq_guest_unbind(d, i);
+ pirq_guest_unbind(d, i);
iommu_domain_teardown(d);
- return ret;
}
int iommu_setup(void);
int iommu_domain_init(struct domain *d);
+void iommu_domain_destroy(struct domain *d);
int assign_device(struct domain *d, u8 bus, u8 devfn);
-int release_devices(struct domain *d);
int iommu_map_page(struct domain *d, dma_addr_t gfn, dma_addr_t mfn);
int iommu_unmap_page(struct domain *d, dma_addr_t gfn);
void iommu_flush(struct domain *d, dma_addr_t gfn, u64 *p2m_entry);